ID: MR3605681

Title: Join inverse categories and reversible recursion
Authors: Robin Kaarsgaard, Holger Bock Axelsen and Robert Gl{"{u}}ck
Journal: Journal of Logical and Algebraic Methods in Programming 87
Year: 2017
DOI: 10.1016/j.jlamp.2016.08.003